﻿#region License statement
// NJamb, a specification and delta-specification DSL
// Copyright (c) 2010-2011, Mark Knell
// Published under the MIT License; all other rights reserved
#endregion

#region using...
#endregion

#region using...
using NJamb.Parser.SpecificationBuilders.Delta.Void;
using Stile.Patterns.SelfDescribingPredicates;
#endregion

namespace NJamb.Specifications.Void
{
    public interface IVoidSpecification<out THost> : ISpecification<THost, IVoidCollaboratingSpecification<THost>>,
        IEvaluable<IEvaluation>
        where THost : class
    {
        IVoidDeltaSpecificationBuilder<THost> AndLater { get; }
    }
}
